prefibred category

мат.

предрасслоённая категория